منابع مشابه
Bibliographical Details
I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...
متن کاملBibliographical details
Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dange...
متن کاملMesotherapy: a bibliographical review.
Intradermotherapy is a medical procedure introduced by Pistor in 1958 that consists in the application of intradermal injections of diluted pharmacological substances that are given directly into the region to be treated. There are reports of the use of intradermotherapy to treat painful diseases, skin diseases and unaesthetic conditions. Medical clinics have been recently offering the treatmen...
متن کاملInteractively Exploring Bibliographical Data for Literature Analysis
This paper introduces techniques for interactive navigation within large sets of bibliographic data. The main conceptual idea is to use various relations between the entries to navigate within the information space. A visualization that supports both the display of the data itself and the relations is introduced. Interaction techniques offer possibilities to follow relations and, thus, create n...
متن کاملIntegrating Bibliographical Data from Heterogeneous Digital Libraries
The integration of bibliographical data today is considered one of the most important tasks in the area of digital libraries. Various available sources of bibliographical information vary widely in terms of data representation and access interfaces. To overcome this heterogeneity during the last years attempts were made to apply methods developed for information system integration, like federat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psyche: A Journal of Entomology
سال: 1875
ISSN: 0033-2615,1687-7438
DOI: 10.1155/1875/70383